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
extra: handle MOD conditions like "if (a % 4) {" better
2017-03-29
Dan C
a
rpent
e
r
extra: h
a
ndle MOD c
o
nditions like "
i
f (a % 4) {" better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
modification_hooks
:
r
e
mo
v
e unused in
d
i
rect modification
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-17
Dan Car
p
enter
valida
t
ion/skb3: delete som
e
acciden
t
al debug
co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
u
ser
_
data2: don't set param
e
t
e
rs t
o
u
s
er_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
user_data2: handle skb->data math
a li
t
tle better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpente
r
user_dat
a
2: re-work hand
l
ing of sk
b
->d
a
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
a
r
pen
t
e
r
parse_call_mat
h
: work a
r
ou
n
d for l
o
ops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpenter
leaks: don't complain
if we overwrite NUL
L
pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carp
e
nt
e
r
fre
e
: ignore im
p
ossi
b
l
e
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpe
n
ter
s
h
ift_
t
o_zero: make the
erro
r
m
e
ssage mor
e
informat
i
ve
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Ca
r
pe
n
ter
test_bit: add test_and_clear_bit(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
ar
p
enter
s
m
db
.
py: print the retur
n
_i
m
plies value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n
Carpenter
db
/
fixup
_
kernel
.
s
h: ignore
d
o_loop_readv_writev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
extr
a
: set
hard max if
a
function is called wi
t
h a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
ex
t
ra: fix handling of k
n
own
conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
param_lim
i
t: don't set some unchanged limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
an Car
p
enter
db: prevent slow
d
owns splitting returns apart
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpent
e
r
db: set parse_error if the SQL fails
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-16
Dan Carpenter
para
m
_
s
e
t
:
handle if the pare
n
t was set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
D
a
n
Carpenter
buf_si
z
e: fix type_
b
ytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan
C
arpente
r
d
b
: filter pointer calls by function si
g
nature
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
C
arpenter
i
mplied: rev
e
rt "tiny speed up"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
a
s
si
g
n_vs_c
o
mpare
:
warn about
"
if (foo = &
b
ar) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Carpente
r
type: fix
type_bit
s
() for arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
shif
t
_to_zero:
d
o a s
m
all clean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
an
Car
p
e
n
t
er
smatch
.
c:
r
emov
e
a b
l
ank lin
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
db:
split
r
eturn s
t
at
e
s b
y
n
u
ll v
s
non-null parameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
extra: filter PARAM_V
A
LUEs with both ex
t
r
a and real_abso
l
ute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
math:
h
andle
-foo better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpenter
helper: in
t
roduce g
e
t struct
and member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
i
m
pl
i
e
d
: tiny sp
e
ed up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
C
a
rp
e
n
te
r
implied:
small c
l
eanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Ca
r
penter
r
anges
:
handl
e
bitwise AND operation
s
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpe
n
ter
r
eal
_
absolute
:
i
n
t
roduce get_real_absolute_var_
s
ym
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
nter
avl: add a short cut for when there are no states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpe
n
ter
t
y
p
e
_
v
al: handle |= type assignme
n
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-23
Dan Carpenter
db:
rename "function_
t
ype_i
n
f
o
" table to "fun
c
t
i
on_type"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpen
t
e
r
u
s
er_data2: if a user_data is
e
q
ual to non-user
data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
Carpenter
pre-process: try fi
n
d any
i
nclu
d
e that looks like it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
c
ompar
i
son: remove
som
e
local_deb
u
g
i
nforma
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpen
t
e
r
db/fixup_kernel
.
sh: write to the
tempo
r
ary DB inste
a
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
e
xtra:
f
i
x
type issue handlin
g
+
+=
a
n
d --= operations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
rpente
r
m
ath:
r
e
move
u
ncommitted fu
n
c
tion call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n C
a
rpe
n
ter
math: fix handling of sizeo
f
()
_
_le
1
6 types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
Carpenter
ma
t
h
:
handle r
e
al_absolu
t
e var
i
ab
l
es more accura
t
el
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
real
_
absolute: ignore ite
r
ator pre statem
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpen
t
er
help
e
r: In e
x
pr_to_str()
re
m
ove extra parenthesis around
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
db:
in
t
rod
u
ce sql_insert_da
t
a_info_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpente
r
d
b
: use "ext
e
rn
"
inst
e
ad
of the
f
ile name for g
l
ob
a
ls
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
an Carpenter
sparse: in
t
ro
d
uce parse_e
r
ror
v
ariable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
user_data2: handle f
u
ncti
o
ns that
m
ere
l
y
r
etu
r
n
p
assed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carpenter
h
ooks: introduce ASSIGNM
E
NT_HOOK_AFTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan
C
a
r
penter
d
b
: give up handlin
g
function pointers if t
h
ere are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan Car
p
enter
user_data2: remove some d
e
bug prin
t
f
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Da
n
C
a
r
pente
r
u
ser_d
a
ta2: don't set the f
u
nct
i
on itself to user_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Da
n
C
a
rpenter
user_d
a
t
a
2: improve ha
n
dling when we retu
r
n
u
s
er d
a
ta
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-17
Dan Ca
r
penter
fu
n
c
tion_hooks:
d
on't mark it
as impossible
if a function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-14
Da
n
Carpenter
compari
s
on:
m
odify the links
a
t at star
t
of a
n
as
s
ignment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-13
Dan Carpente
r
db: clean
u
p
g
et_row_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpe
n
te
r
implied: r
e
name
a
func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
D
a
n
Carpenter
estate:
a
dd an e
s
t
ate_i
s
_
empty() funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Car
p
enter
d
b/kernel
.
no_inline: d
o
n't pars
e
the bite
s
wap functi
o
ns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Da
n
Car
p
e
nter
kern
e
l
:
parse
A
TO
M
IC_SET() manu
a
lly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
D
an Car
p
e
nter
db/ker
n
el
.
retu
r
n_fixes: add some m
o
r
e
f
i
x
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpe
n
t
er
d
b
/fixup_kernel
.
sh: handle __kernel_write() a bit bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
D
a
n Carpente
r
vim
_
db: handle o
l
der
versi
o
ns of vim
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpen
t
er
d
b
/fixup_ke
r
nel: handle __built
i
n_bswap6
4
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan
C
a
r
pent
e
r
function_hoo
k
s: change
o
r
der o
f
how db verse implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan C
a
rpenter
para
m
_lim
i
t: don'
t
i
nsert
e
m
p
ty stat
e
s into
the d
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
ra
n
ges: use a
h
a
ck ar
o
und so whe
n
merging ranges of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpent
e
r
type_val:
f
ix a m
e
mory
l
eak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
D
a
n
Carpenter
function_hook
s
, db:
handle PARAM_LIMI
T
for struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carp
e
nte
r
implied: fix a bug handling pa
r
amete
r
implicat
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
D
an Carpenter
implied: add
more
d
eb
u
g info
r
mation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-05
Dan C
a
rpenter
db:
s
or
t
re
t
urn_
s
tates by file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
Dan
Carpenter
flow: tiny cleanup handling assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
D
a
n Carpenter
flow: rem
o
v
e
an unneeded condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpenter
flow:
rename
a variable "tmp"
-> "righ
t
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-15
Da
n
Ca
r
p
e
nter
kernel
.
ig
n
o
r
e
d
_
macros: add LASSERT() from
l
ustre
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carpenter
fu
n
ction_hooks, db: use INTERNAL
as the marker for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-13
Dan Car
p
enter
db: handle
f
u
n
c
tion p
o
inters bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
Dan Car
p
enter
user_data2: math: function calls
should be
h
a
ndled
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
D
an Carpenter
math: fi
x
a ty
p
e iss
u
e with MOD
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-28
Dan Carpenter
u
ntracked_param: fun
c
tions that
a
r
e
too hai
r
y a
r
e
untrackab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Da
n
C
arpent
e
r
ad
d
ress:
simpli
f
y
i
s_non_n
u
l
l
_array
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Da
n
Carpent
e
r
type_val: use the
corre
c
t type in get_db_t
y
pe_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpenter
imp
l
ied: fix a bug with borrowed
i
mplicati
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpenter
f
l
ow
:
handled declare
d
labels
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
Dan Car
p
enter
ranges: read
u64max correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpen
t
er
sma
t
ch: remo
v
e tests t
o
see if an
a
rray is NU
L
L
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan
C
a
rpen
t
e
r
e
x
tra: hand
l
e "if (a
+
b < a) {
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
slist: Silence a smatch warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpent
e
r
d
ebug: add the __smatch_abs
o
lut
e
() hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpent
e
r
buf_
s
ize: Using pl
a
in intege
r
a
s
NULL pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpent
e
r
d
b
: Usi
n
g plain
i
n
tege
r
as NUL
L
pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
D
a
n
Carpenter
as
t
-mod
e
l: Using plain
integer as NULL pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Ca
r
penter
debug: add a __
s
match_a
b
solute
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpen
t
er
use
r
_dat
a
: sho
r
t circuit a bunch of
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
dma_m
a
pping_
e
rror: add pci_dma_map
p
in
g
_e
r
ror() to this
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
continue_vs_break: add it checklist
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next