repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
buf_comparison, buf_size: add realloc() to allocation functions
2014-10-28
Dan Carpenter
buf_
c
omp
a
rison, buf_size: ad
d
reallo
c
() to alloc
a
ti
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
Dan
Carpenter
c
o
mpare: introduce get_al
l
_comparisons()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-27
Da
n
Carpenter
db: add
d
ata_info table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-21
Dan Carpenter
auto_cop
y
: assignments copie
s
stat
e
s automatically
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-20
Da
n
Car
p
enter
buf_compari
s
o
n: l
o
ok for off by
one errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-17
Dan Carpent
e
r
Merge branch 'devel
'
commit
|
commitdiff
|
tree
2014-10-16
D
an C
a
rpenter
err_ptr_deref:
e
rror messa
g
e should say
"
neg
a
tive"
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Dan
Carpenter
free: improve
c
ross funct
i
on tracki
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-16
Dan
Carpenter
shift_to_zero: chec
k
f
o
r things like
"
(
foo & 0xff
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-14
Dan Carpenter
parse_cal
l
_ma
t
h: handle math like
"
$0-
>
f
oo + 5"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpe
n
t
er
pars
e
_
c
a
l
l_math
:
more fo
r
mat
c
hange fallout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-13
Dan
Carpenter
parse_call_
m
ath: NUL
L
termi
n
a
te buf
s
ize recipes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carp
e
nt
e
r
call_m
a
t
h: use range
l
is
t
s in
s
tead
o
f only exact value
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-10
Da
n
Carpe
n
ter
rang
e
s: start
implemen
t
ing rl_binop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Da
n
C
a
r
pe
n
ter
comparison: st
o
re gen
e
ral
l
imits in the d
a
tabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
D
a
n
C
a
rpente
r
comparison: take original compari
s
on into account
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpenter
validation: add a test for t
h
e recent function com
p
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpenter
funct
i
on
_
h
o
oks
:
funct
i
o
n com
p
arisons c
a
n imply
a
p
a
rameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-08
Dan Carpenter
fixu
p
_kern
e
l
.
sh:
several important upd
a
t
e
s (bugf
i
x
es)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Da
n
Carpenter
comparison
:
rename falsif
y
_op() to
n
egat
e
_comparison
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
D
a
n Carpenter
ran
g
es: rename filt
e
r_by_comparison(
)
to s
o
me
t
hing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpe
n
t
e
r
c
gcc: revert part
of the
-
Werror ch
e
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-07
D
an C
a
rpenter
comparison: rena
m
e flip_op() to flip_comparison() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-03
Dan
C
arpe
n
t
er
Merge git://
g
it
.
kerne
l
.
o
r
g
/pub/scm/devel/sp
a
rse/ch
r
is
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Dan C
a
rpenter
smdb
.
py: add some help text
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpente
r
bui
l
d_kernel_data
.
sh: error ou
t
if
the
r
ight pa
c
kages
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan C
a
rpenter
compar
i
son: don't
store comparisons to one's self
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Car
p
e
nte
r
comp
a
ri
s
on:
add a comment for update_tf
_
links()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
comparison:
get rid o
f
the chunk_vsl_e
q
() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan Ca
r
p
enter
c
o
mparison:
pass the filtered fal
s
e
sta
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-29
Dan
C
a
rpen
t
er
comparison: cleanup update_tf_d
a
ta()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-27
Dan Carpenter
db: f
i
x handling of nest
e
d
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpe
n
ter
states: add an assert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpenter
buf_size: handl
e
strlen() a bit better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpenter
l
o
cking:
add ffs_mutex_lock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
r
penter
flow: th
e
__in_pre_
c
ondition variab
l
e needs to be set
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Carp
e
nter
smatch
.
h: st
o
re some dummy
databa
s
e
type
s
tempo
r
arily
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpenter
db: expose the data parameter so we ca
n
use d
a
ta in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nter
p
ars
e
_c
a
l
l_math: change API to use rang
e
lists (mostly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Car
p
ente
r
ranges: fi
x
par
s
ing tha
t
I
b
rok
e
this a
f
ternoon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
Carpenter
comparison:
f
ix up
filter_comp
a
rison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
an Ca
r
penter
range
s
: use the ra
n
ges stored in
the data
b
ase properly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
ranges:
f
ix c
r
ash
i
n
g bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpenter
ra
n
g
es:
simplify and robu
s
tify str_t
o
_rl_h
e
l
p
e
r
() a
b
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
pa
r
am_limit: save
the comparis
o
n to
the argum
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
ar
p
enter
function_
h
ooks: fix how database comparisons are don
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Dan Ca
r
p
enter
c
o
mparison: pass
the ig
n
o
re
field to
ran
g
e_com
p
arison_to_par
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-26
Da
n
C
arpenter
co
m
pariso
n
: ta
k
e pre
v
ious comparisons
i
n
to accou
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Dan
C
a
r
pe
n
ter
db: pre
f
er literals to paramete
r
math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-25
Da
n
Carpenter
db:
re-
a
dd some miss
i
ng [] charac
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpente
r
as
s
igned_exp
r
: undefine on modi
f
i
cation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpent
e
r
db:
fix how pa
r
ameter m
a
th works
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
D
an
Carpenter
a
ssi
g
ned
_
expr: a
d
d reverse links
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan
Carpenter
link
s
: create a smatch_li
n
ks
.
c file wit
h
functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Carpent
e
r
parse_
c
all_mat
h
: fix le
f
t overs from the format change
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Ca
r
pent
e
r
param
_
s
e
t: write struct membe
r
s in terms of parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Carpent
e
r
extra: write c
e
rtain retur
n
ed st
r
uct
m
embers in
terms
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carp
e
nter
d
b: pass the return
expression to the returne
d
_member_callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpente
r
ex
t
ra: save
r
etur
n
va
l
ues in term
s
of parame
t
er mat
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
db: unify how para
m
eter descriptions are
s
aved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
co
m
p
ar
i
so
n
: add an ignor
e
parameter to expr_eq
u
al_to_param()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
unrea
c
h
a
ble
:
ignore the
u
n
rea
c
hable() macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Da
n
Carpente
r
er
r
_
ptr_d
e
ref: pas
s
ing
a
n ERR_PTR to kfree
(
) is a bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan
Ca
r
pen
t
er
ext
r
a: handl
e
mer
g
ing
N
ULL pointer
s
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-16
Dan Carpente
r
e
x
tra: addresses
of ar
r
ays
ar
e
non-N
U
LL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
D
a
n
Carpen
t
e
r
db: remove bogus parameter inform
a
tion f
r
o
m
hook t
y
p
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan Carpent
e
r
db:
a
d
d
a new ta
b
le which hold parameter ty
p
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-11
D
an Carpenter
t
y
pe
:
i
ntr
o
duce ty
p
e_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-09
Dan Car
p
e
n
ter
l
ocki
n
g:
r
emov
e
so
m
e dupl
i
c
a
te "so
m
e
t
imes lo
c
ked" warn
i
n
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
generisize
.
p
l: fil
t
er some more st
u
f
f
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpe
n
t
e
r
generesize
.
p
l:
c
leanup indentation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Ca
r
penter
r
a
n
ges: a
p
o
inter to an ar
r
a
y
is j
u
st a pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
extr
a
: rec
o
rd global declarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpent
e
r
conditio
n
s: update som
e
d
ebug output
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpente
r
comparison: introduce p
o
s
s
i
b
le_com
p
ar
i
son()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Ca
r
penter
ext
r
a: update
a debug statement
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
function_ptrs: track functions w
h
ich return a function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
show_errs
.
sh: quote
s
ome
stri
n
gs properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n C
a
rpe
n
ter
s
l
ist: put get_sm_state
_
stree_stack() in the
.
h file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Car
p
enter
states: chang
e
th
e
de
b
ug output
f
o
r
m
at
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpent
e
r
struct_as
s
ignmen
t
: handle kzalloc() bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
s
l
ist: add t
h
e
filenam
e
to some
debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
f
l
o
w:
p
arse
g
l
o
bal variables be
f
ore pa
r
sing functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
slist: export the s
e
t_state_stree_perm() function to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpenter
comparison: a varia
b
le is always equa
l
to
itself
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Da
n
Car
p
en
t
er
rem
o
v
e null tests for arrays
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carp
e
nter
Ma
k
efile: allo
w
CC to be defined outside the makefile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan
C
arpenter
s
i
lence no
n
-ANSI
wa
r
nings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-05
D
a
n
Carpe
n
ter
helper: prevent
segfault in expr_to_v
a
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-25
Dan
C
arpenter
extra
:
improve han
d
l
i
n
g of "i
f
(x * 4 >
12
)
{"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-18
Dan Carpenter
m
issing_break: make a function stati
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-14
Dan
C
arp
e
nter
db: fix
runtime breaka
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-11
Dan
C
arpen
t
er
der
e
ferences_
p
aram:
a
dd more dere
f
er
e
nced
var
i
ables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpenter
ra
n
ges:
r
e
m
o
v
e
unnee
d
e
d
NUL
L
chec
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Dan Car
p
e
n
ter
t
ype_va
l
: store fake assignments in a slightly different
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpenter
param
_
set/filter: d
o
n't
pri
n
t le
s
s u
s
e
les
s
i
n
fo
r
mati
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan Carpe
n
te
r
db: fixup af
t
e
r
call
_
i
mplie
s
c
ha
n
ge
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan Carpenter
pa
r
am_cleared:
han
d
le direct as
s
ignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan Car
p
enter
db: make cal
l
_implie
s
match caller_info with a
ke
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-18
Dan Carpenter
smdb
.
py: fix test for if a da
t
aty
p
e is
k
nown
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next